Optimal. Leaf size=98 \[ \frac{(13 a-6 b) \sin (e+f x) \cos ^3(e+f x)}{24 f}-\frac{(11 a-18 b) \sin (e+f x) \cos (e+f x)}{16 f}+\frac{5}{16} x (a-6 b)-\frac{a \sin (e+f x) \cos ^5(e+f x)}{6 f}+\frac{b \tan (e+f x)}{f} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.104163, antiderivative size = 98, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 6, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.286, Rules used = {4132, 455, 1814, 1157, 388, 203} \[ \frac{(13 a-6 b) \sin (e+f x) \cos ^3(e+f x)}{24 f}-\frac{(11 a-18 b) \sin (e+f x) \cos (e+f x)}{16 f}+\frac{5}{16} x (a-6 b)-\frac{a \sin (e+f x) \cos ^5(e+f x)}{6 f}+\frac{b \tan (e+f x)}{f} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4132
Rule 455
Rule 1814
Rule 1157
Rule 388
Rule 203
Rubi steps
\begin{align*} \int \left (a+b \sec ^2(e+f x)\right ) \sin ^6(e+f x) \, dx &=\frac{\operatorname{Subst}\left (\int \frac{x^6 \left (a+b+b x^2\right )}{\left (1+x^2\right )^4} \, dx,x,\tan (e+f x)\right )}{f}\\ &=-\frac{a \cos ^5(e+f x) \sin (e+f x)}{6 f}-\frac{\operatorname{Subst}\left (\int \frac{-a+6 a x^2-6 a x^4-6 b x^6}{\left (1+x^2\right )^3} \, dx,x,\tan (e+f x)\right )}{6 f}\\ &=\frac{(13 a-6 b) \cos ^3(e+f x) \sin (e+f x)}{24 f}-\frac{a \cos ^5(e+f x) \sin (e+f x)}{6 f}+\frac{\operatorname{Subst}\left (\int \frac{-3 (3 a-2 b)+24 (a-b) x^2+24 b x^4}{\left (1+x^2\right )^2} \, dx,x,\tan (e+f x)\right )}{24 f}\\ &=-\frac{(11 a-18 b) \cos (e+f x) \sin (e+f x)}{16 f}+\frac{(13 a-6 b) \cos ^3(e+f x) \sin (e+f x)}{24 f}-\frac{a \cos ^5(e+f x) \sin (e+f x)}{6 f}-\frac{\operatorname{Subst}\left (\int \frac{-3 (5 a-14 b)-48 b x^2}{1+x^2} \, dx,x,\tan (e+f x)\right )}{48 f}\\ &=-\frac{(11 a-18 b) \cos (e+f x) \sin (e+f x)}{16 f}+\frac{(13 a-6 b) \cos ^3(e+f x) \sin (e+f x)}{24 f}-\frac{a \cos ^5(e+f x) \sin (e+f x)}{6 f}+\frac{b \tan (e+f x)}{f}+\frac{(5 (a-6 b)) \operatorname{Subst}\left (\int \frac{1}{1+x^2} \, dx,x,\tan (e+f x)\right )}{16 f}\\ &=\frac{5}{16} (a-6 b) x-\frac{(11 a-18 b) \cos (e+f x) \sin (e+f x)}{16 f}+\frac{(13 a-6 b) \cos ^3(e+f x) \sin (e+f x)}{24 f}-\frac{a \cos ^5(e+f x) \sin (e+f x)}{6 f}+\frac{b \tan (e+f x)}{f}\\ \end{align*}
Mathematica [A] time = 0.308186, size = 78, normalized size = 0.8 \[ \frac{(96 b-45 a) \sin (2 (e+f x))+(9 a-6 b) \sin (4 (e+f x))-a \sin (6 (e+f x))+60 a e+60 a f x+192 b \tan (e+f x)-360 b e-360 b f x}{192 f} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.046, size = 112, normalized size = 1.1 \begin{align*}{\frac{1}{f} \left ( a \left ( -{\frac{\cos \left ( fx+e \right ) }{6} \left ( \left ( \sin \left ( fx+e \right ) \right ) ^{5}+{\frac{5\, \left ( \sin \left ( fx+e \right ) \right ) ^{3}}{4}}+{\frac{15\,\sin \left ( fx+e \right ) }{8}} \right ) }+{\frac{5\,fx}{16}}+{\frac{5\,e}{16}} \right ) +b \left ({\frac{ \left ( \sin \left ( fx+e \right ) \right ) ^{7}}{\cos \left ( fx+e \right ) }}+ \left ( \left ( \sin \left ( fx+e \right ) \right ) ^{5}+{\frac{5\, \left ( \sin \left ( fx+e \right ) \right ) ^{3}}{4}}+{\frac{15\,\sin \left ( fx+e \right ) }{8}} \right ) \cos \left ( fx+e \right ) -{\frac{15\,fx}{8}}-{\frac{15\,e}{8}} \right ) \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.4814, size = 150, normalized size = 1.53 \begin{align*} \frac{15 \,{\left (f x + e\right )}{\left (a - 6 \, b\right )} + 48 \, b \tan \left (f x + e\right ) - \frac{3 \,{\left (11 \, a - 18 \, b\right )} \tan \left (f x + e\right )^{5} + 8 \,{\left (5 \, a - 12 \, b\right )} \tan \left (f x + e\right )^{3} + 3 \,{\left (5 \, a - 14 \, b\right )} \tan \left (f x + e\right )}{\tan \left (f x + e\right )^{6} + 3 \, \tan \left (f x + e\right )^{4} + 3 \, \tan \left (f x + e\right )^{2} + 1}}{48 \, f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 0.502159, size = 220, normalized size = 2.24 \begin{align*} \frac{15 \,{\left (a - 6 \, b\right )} f x \cos \left (f x + e\right ) -{\left (8 \, a \cos \left (f x + e\right )^{6} - 2 \,{\left (13 \, a - 6 \, b\right )} \cos \left (f x + e\right )^{4} + 3 \,{\left (11 \, a - 18 \, b\right )} \cos \left (f x + e\right )^{2} - 48 \, b\right )} \sin \left (f x + e\right )}{48 \, f \cos \left (f x + e\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.2429, size = 153, normalized size = 1.56 \begin{align*} \frac{15 \,{\left (f x + e\right )}{\left (a - 6 \, b\right )} + 48 \, b \tan \left (f x + e\right ) - \frac{33 \, a \tan \left (f x + e\right )^{5} - 54 \, b \tan \left (f x + e\right )^{5} + 40 \, a \tan \left (f x + e\right )^{3} - 96 \, b \tan \left (f x + e\right )^{3} + 15 \, a \tan \left (f x + e\right ) - 42 \, b \tan \left (f x + e\right )}{{\left (\tan \left (f x + e\right )^{2} + 1\right )}^{3}}}{48 \, f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]